201. Combinatorics, computability and logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.

رده :
QA164
.
C733
2001

202. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical

رده :
QA
164
.
D6
2001

203. Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and its Applications)

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE

رده :
E-BOOK

204. Comprehensive mathematics for computer scientists

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer science- Mathematics

رده :
QA76
.
9
.
M35
,
M49
2004

205. Comprehensive mathematics for computer scientists

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer science- Mathematics

رده :
QA76
.
9
.
M35
,
M49
2004

206. Computability and Decidability :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.

207. Computability, complexity, and languages :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational complexity,Formal languages,Machine theory

رده :
QA267
.
D38
1994

208. Computation, Logic, Philosophy :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Information theory.,Mathematics.,Technology -- Philosophy.

209. Computation engineering

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science--Mathematics,Computer logic.,Machine theory.

210. Computation engineering

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;

211. Computation, logic, philosophy : a collection of essays

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Computer science-- Mathematics,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
W35
1990

212. Computation, logic, philosophy :a collection of essays

پدیدآورنده :

کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)

موضوع : Mathematics ، Computer science,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
W35
1990

213. Computation, logic, philosophy : a collection of essays

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35W35
1990

214. Computational Logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic design.

رده :
QA76
.
9
.
A96
E358
1990

215. Computational Methods for General Sparse Matrices

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Electronic data processing.,Information theory.

رده :
QA188
.
B993
1991

216. Computational logic and set theory :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Set theory

رده :
QA248
.
S39
2011eb

217. Computational matter /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.

رده :
QA76

218. Computer Algebra :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Mathematics.

رده :
QA155
.
7
.
E4
E358
1982

219. Computer Algebra with LISP and REDUCE :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra -- Data processing.,Computer science.,Electronic data processing.

رده :
QA155
.
7
.
E4
B943
1991

220. Computer Mathematics

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)